package sketch.ounit.fuzz;

import java.util.LinkedList;
import java.util.List;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SketchGuidedRandomGeneratorWithArgsTest extends TestCase {

	public static Test suite() {
		return new TestSuite(SketchGuidedRandomGeneratorWithArgsTest.class);
	}
	
	public void testRandomGenWithArgs() {
		String filePath = "./testfiles/sketch/ounit/fuzz/TreeMapWithArgsTest.java";
		String junitclass = "TreeMapWithArgsTest";
		//String classFile = "./subjects/sketchguided/japa/japaclasses.txt";
		int timelimit = 5;
		
		List<Class<?>> classes = new LinkedList<Class<?>>();
		classes.add(treemap.TreeMap.class);
		//xxx
		SketchGuidedRandomTestGenerator generator = new SketchGuidedRandomTestGenerator(filePath, junitclass, timelimit, timelimit, classes);
		generator.setMaxTestNum(2000);
		generator.setUseRR(true);
//		generator.setOutputPackageName(null);
		generator.generate_tests();
	}
	
}
